Why November 1 Is Not A Public Holiday All Over Germany